Nuprl Lemma : equal-nil-lists 0,22
T:Type, x, y:Top List. null(x)  null(y)  x = y  T List 
latex

DefinitionsFalse, t  T, x:A. B(x), P  Q, True, type List, nil, b, Top, x:AB(x), s = t, Type
Lemmastop wf, true wf, false wf

origin